$\neg_{b}$$b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $b$ then ff else tt fi